paxos protocol造句

• :Here is a graphic representation of the Basic Paxos protocol.
• One could thus argue that Gbcast was really the first Paxos protocol.
• Each instance of the Basic Paxos protocol decides on a single output value.
• Under this definition, Gbcast is a Paxos protocol.
• However, the Paxos protocol will guarantee that the Acceptors will ultimately agree on a single value.
• The benefit of the Paxos protocols ( including implementations with merged roles ) is the guarantee of its safety properties.
• The value corresponding to a numbered proposal can be computed as part of running the Paxos protocol, but need not be.
• If each command is the result of a single instance of the Basic Paxos protocol a significant amount of overhead would result.
• The Paxos protocol was first published in 1989 and named after a fictional legislative consensus system used on the Paxos island in Greece.
• The ballot mechanism, generally viewed as the hallmark of Paxos protocols, reduces to a counter that tracks the order of succession of leaders.
• However, this sort of stringent definition poses a different problem : if one adopts it, some versions of Paxos are not Paxos protocols.
• Under this definition, Gbcast is not a Paxos protocol : although each can exhibit the same runs as the other ( viewed purely in terms of requests from the application and notifications to the application ), they have similar, but not identical, liveness conditions.
• Essay accompanying a lecture delivered at the ACM SIGOPS History Day Workshop in November 2015, associated with the 25th ACM Symposium on Operating systems principles ( SOSP ), Monterey California, Nov . 2015 . " A broad overview of research on fault-tolerance by the distributed computing community, with discussion of the evolution of the virtual synchrony and Paxos protocols and comparison of their characteristics, as well as on the so-called CATOCS controversy of the 1993 period and the CAP conjecture, which is in many ways a more contemporary revisiting of CATOCS ."